\begin{defn}
  This is a definition.
\end{defn}
\begin{prop}
  This is a proposition.
\end{prop}
